An Implementation-oriented Semantics for Module Composition 1.1 Introduction
نویسندگان
چکیده
This paper describes an approach to module composition by executing \module expressions" to build systems out of component modules; the paper also gives a novel semantics intended to aid implementers. The semantics is based on set the-oretic notions of tuple set, partial signature, and institution, thus avoiding more diicult mathematics theory. Language features include information hiding, both vertical and horizontal composition, and views for binding modules to interfaces. Vertical composition refers to the hierarchical structuring of a system into layers, while horizontal composition refers to the structure of a given layer. Modules may involve information hiding, and views may involve behavioral satisfaction of a theory by a module. Several \Laws of Software Composition" are given, which show how the various module composition operations relate. Taken together, this gives foundations for an algebraic approach to software engineering. The approach to module composition described in this paper can be used in many diierent ways. For example, it can be added to a programming language, by providing a simple module connection language (MCL) with \module expressions" that say how to manipulate and connect modules in the programming language. The general approach, called \parameterized programming" Gog89], involves a module speciication capability; however, programmers can specify as little of a module as they like, as long as they declare the syntax. The approach has been validated with experiments using lileanna (for Library Interconnect Language Extended with Anna, where Anna itself is an acronym for Annotated Ada) Tra93a] on real exam-1
منابع مشابه
Declarative Semantics in Object-Oriented Software Development - A Taxonomy and Survey
One of the modern paradigms to develop an application is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles in applications. In an application, we must distinguish between procedural semantics and declarative semantics for their implementation in a specific programming language. For the procedural semantics, we can write a ...
متن کاملAn Implementation - Oriented Semanticsfor Module Composition
This paper describes an approach to module composition by executing \module expressions" to build systems out of component modules. This approach extends the structural description capabilities of existing Architecture Description Languages (ADLs) to facilitate the manipulation of architectural components in a manner that results in either new components or complete instantiations of parameteri...
متن کاملAn OSGi-Based Semantic Service-Oriented Device Architecture
The implementation of service-oriented device architectures (SODA) suffers from restrictions that are imposed by the use of existing syntactic technologies. Related problems include data and message-level heterogeneities among interoperating services, insufficient search and discovery of exposed services and inadequate web process composition. In this paper we propose an approach for introducin...
متن کاملComposition of Object-Oriented Software Design Models
...................................................................................... ix Preface ........................................................................................... x Statement of Contribution............................................................... x Acknowledgements....................................................................... xi Chapter 1: Introduction...
متن کاملDesign, implementation and evaluation of a declarative object-oriented programming language
This thesis is a detailed study of FOOPS, a "wide spectrum" object-oriented program ming language. FOOPS supports all ofthe classical features of the object paradigm, includ ing classes, overloading. polymorphism, and multiple class inheritance with overriding and dynamic binding. However, it goes beyond other object-oriented. languages in its facilities for the specification. composition and...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997